Publications de
Akram Idani, Jean-Louis Boulanger, Laurent Philippe
Linking paradigms in safety critical systems
Dans : International Journal of Computers and Their Applications (IJCA), International Society for Computers and their Applications (ISCA), Vol. 16 N. 2, (support électronique), 2009.
Object Oriented Concepts Identification from Formal B Specifications
Dans : Formal Methods in System Design, Springer-Verlag, Heidelberg, Allemagne, Numéro spécial Formal Methods for Industrial Critical Systems, Vol. 30 N. 3, p. 217-232, juin 2007.
Akram Idani, Yves Ledru, Didier Bert
Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : formalisation, preuve et extension pour la prise en compte des raffinements B
Dans : Technique et Science Informatiques (TSI), Hermès Science, Numéro spécial Approches Formelles dans l’Assistance au Développement de Logiciels, Vol. 26, N. 7, p. 819-851, septembre 2007.
Dynamic Graphical UML Views from Formal B Specifications
Dans : International Journal of Information and Software Technology, Elsevier, Vol. 48 N. 3, p. 154-169, mars 2006.
Towards reverse-engineering of UML views from structured formal developments
Dans : International Conference on Enterprise Information Systems (ICEIS 2008), Barcelone, Espagne, 12/06/08-16/06/08, INSTICC Press, p. 94-103, juin 2008.
Akram Idani, Ossami Dieu-Donné, Jean-Louis Boulanger
Commandments of UML for safety
Dans : International Conference on Software Engineering Advances (ICSEA 2007), France, 25/08/07-31/08/07, IEEE Computer Society, (support électronique), août 2007.
Akram Idani, Jean-Louis Boulanger, Laurent Philippe
A generic process and its tool support towards combining UML and B for safety critical systems
Dans : International Conference on Computer Applications in Industry and Engineering (CAINE 2007), USA, 07/11/07-09/11/07, Hu Gongzhu (Eds.), International Society for Computers and their Applications (ISCA), p. 185-192, novembre 2007.
Akram Idani, Yves Ledru, Didier Bert
Analyse formelle de concepts pour la génération de diagrammes de classes UML à partir de spécifications B
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2006), Paris, 15/03/06-17/03/06, ENST, p. 9-23, mars 2006.
Couplage de spécifications B et de descriptions UML pour l’aide aux développements formels des systèmes d’information : Approche par méta-modélisation
Dans : Congrès Informatique des Organisations et Systèmes d’Information et de Décision (INFORSID 2006), Tunisie, 31/05/06, Association INFORSID, p. 577-593, mai 2006.
Akram Idani, Yves Ledru, Didier Bert
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams
Dans : Annual IEEE/NASA Software Engineering Workshop (SEW 2006), USA, 25/04/06-28/04/06, IEEE Computer Society, p. 97-106, avril 2006.
Object Oriented Concepts Identification from Formal B Specifications
Dans : International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005), Linz, Austria, 31/05/05, Elsevier, p. 159-174, mai 2005.
Akram Idani, Yves Ledru, Didier Bert
Derivation of UML Class Diagrams as Static Views of Formal B Developments
Dans : International Conference on Formal Engineering Methods (ICFEM 2005), UK, 01/11/05-04/11/05, Springer-Verlag, p. 37-51, novembre 2005.
UML2B vs B2UML: Bridging the Gap between Formal and Graphical Software Modeling Paradigms
Dans : Computer Software Engineering Research. Ari D. Klein (Eds.) , Nova Science Publishers, 6, p. 161-177, décembre 2007.